Eiffel Software - PDFSEARCH.IO - Document Search Engine

Eiffel Software
Results: 113

#	Item
21	Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.la Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-09-28 08:15:15 Logic in computer science Object-oriented programming Procedural programming languages Postcondition Control flow Eiffel Precondition Programming paradigms Exception handling Software engineering Computing Computer programming
22	Reasoning about Function Objects Martin Nordio1 , Cristiano Calcagno??23 , Bertrand Meyer1 , Peter M¨ uller1 , and 1 Julian Tschannen 1 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-02-25 03:52:43 Logic in computer science Subroutines Object-oriented programming Procedural programming languages Eiffel Program logic Postcondition Precondition Function object Software engineering Computing Computer programming
23	Program Checking With Less Hassle Julian Tschannen1 , Carlo A. Furia1 , Martin Nordio1 , and Bertrand Meyer1,2 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-08-05 04:58:16 Logic in computer science Formal methods Compiler optimizations Program logic Inline expansion Subroutines Predicate transformer semantics Postcondition Eiffel Software engineering Theoretical computer science Computing
24	1 INDEX PREFACE ............................................................................................................ 3 GENERAL INFORMATION ....................................................................... Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2012-08-09 12:18:26 Bir-Hakeim Model checking Gare du Champ de Mars Champ de Mars Eiffel Tower Arts et Métiers Réaumur – Sébastopol Eiffel Education Grandes écoles Software engineering Conservatoire National des Arts et Métiers
25	AutoProof: Auto-active Functional Verification of Object-oriented Programs Julian Tschannen, Carlo A. Furia, Martin Nordio, and Nadia Polikarpova Chair of Software Engineering, Department of Computer Science, ETH Zurich, Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-01-15 04:33:24 Logic in computer science Object-oriented programming Formal methods Programming paradigms Eiffel Hardware verification languages Java Modeling Language Formal verification Postcondition Software engineering Computing Computer programming
26	A Fully Verified Container Library? Nadia Polikarpova1?? , Julian Tschannen2 , and Carlo A. Furia2 1 MIT CSAIL, USA Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-04-16 04:52:13 Computing Theoretical computer science Logic in computer science Hardware verification languages Formal verification Eiffel Functional verification E Software verification Software engineering Object-oriented programming Formal methods
27	Quotes from∗ Object-Oriented Software Construction Bertrand Meyer Prentice-Hall, 1988 Preface, p. xiv Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2005-03-16 04:00:39 Computer programming Object-oriented design Object Eiffel Class Abstraction Polymorphism Inheritance Design by contract Software engineering Object-oriented programming Computing
28	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) AutoProof Meets Some Verification Challenges Julian Tschannen · Carlo A. Furia · Martin Nordio Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2014-01-14 06:58:45 Logic in computer science Eiffel Postcondition Precondition Recursion Assertion Lookup table Rope Exception handling Software engineering Computer programming Computing
29	design Editor: Martin Fowler ■ T h o u g h t Wo r k s Add to Reading List Source URL: www.martinfowler.com Language: English - Date: 2015-04-10 15:16:06 Object-oriented programming Interfaces Java programming language Information hiding Java Class Modular programming Eiffel User interface Software engineering Computing Computer programming

UPDATE